Automata on infinite objects and their applications to logic and programming
نویسندگان
چکیده
منابع مشابه
Automata on Infinite Objects and Their Applications to Logic and Programming
We introduce various types of w-automata, top-down automata and bottom-up automata on infinite trees. We study the power of deterministic and nondeter-ministic tree automata and prove that deterministic and non-deterministic bottom-up tree automata accept the same intinite tree sets. We establish a relationship between tree automata, Logic programs, recursive program schemes, and the monadic se...
متن کاملAutomata on Infinite Words and Their Applications in Formal Verification
In formal verification, we check the correctness of a system with respect to a desired property by checking whether a mathematical model of the system satisfies a specification that formally expresses the property. In the automata-theoretic approach to formal verification, we model both the system and the specification by automata. Questions about systems and their specifications are then reduc...
متن کاملFinite automata on infinite objects
Infinite behaviors of several kinds of finite automata on infinite objects are studied. Namely, alternating finite automata on r0-words, finite tree automata on infinite trees which move from the root infinitely, and finite biautomata on two-sided infinite words are investigated through six types of acceptance conditions. Each condition is an appropriate extension of the one used for acceptance...
متن کاملturkish-israeli relations and their implication on iranian national security
this dissertation has six chapter and tree appendices. chapter 1 introduces the thesis proposal including description of problem, key questions, hypothesis, backgrounds and review of literature, research objectives, methodology and theoretical concepts (key terms) taken the literature and facilitate an understanding of national security, national interest and turkish- israeli relations concepts...
15 صفحه اولin translation: translators on their work and what it means
کتاب در باب ترجمه، اثر استر آلن و سوزان برنوفسکی منتشر شده در ماه می 2013 توسط نشریه کلمبیا است. نویسندگان در این کتاب به بررسی 18 مترجم با در نظر گرفتن نقش آثاری که این مترجمان ترجمه کرده اند میپردازند. کتاب به دو بخش تقسیم میشود: " مترجم در جهان" و " کار مترجم" این دو بخش مقالات همیشگی ترجمه و موقعیت خاص ادبیات بیگانه در جهان وسیع امروزی را مورد خطاب قرار میدهد. در این کتاب مقالات متعددی از ن...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1989
ISSN: 0890-5401
DOI: 10.1016/0890-5401(89)90046-1